Decision procedures and model building in equational clause logic

Verfasser / Beitragende:
[CG Fermuller, A Leitsch]
Ort, Verlag, Jahr:
1998
Enthalten in:
Logic Journal of IGPL, 6/1(1998-01), 17-41
Format:
Artikel (online)
ID: 39825804X