ML Anthology

Silva, Andrea

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