Prefixed resolution

Authors
  • J.M.G.G. de Nivelle
  • C.E. Areces
Publication date 1999
Series Technical Report ILLC, PP-99-16
Publisher Amsterdam: vg logic/info (oud WINS)
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Report
Permalink to this page
Back