@inproceedings{oxusoff1994slresolution,
author	=	{Laurent Oxusoff and Antoine Rauzy},
title	=	{{T}owards a {B}etter {U}nderstanding of {SL}-{R}esolution},
booktitle	=	{Proceedings Artificial Intelligence V Methodology, Systems, Applications, AIMSA'94},
editor	=	{P.~Jorrand and V.~Sugrev},
publisher	=	{North Holland},
year	=	{1994}
}