ML Anthology

Casanova, Marco A.

1 publications

IJCAI 1989 Logic Programming with General Clauses and Defaults Based on Model Elimination Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva