@inproceedings{oxusoff1995towards,
author	=	{Laurent Oxusoff and Antoine Rauzy},
title	=	{Towards a better understanding of SL-Resolution},
booktitle	=	{Proceedings of the sixth international conference on Artificial intelligence: methodology, systems, applications: methodology, systems, applications},
publisher	=	{World Scientific Publishing Co., Inc.},
pages	=	{3--14},
year	=	{1995},
isbn	=	{981-02-1853-2}
}