Prefixed resolution

Authors	C.E. Areces J.M.G.G. de Nivelle M. de Rijke
Publication date	1999
Book title	Proceedings CADE-16
Event	CADE-16
Publisher	Springer-Verlag
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	Conference contribution
Note	LNCS
Permalink to this page