ML Anthology

Drakos, Nikos

1 publications

IJCAI 1989 Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking Nikos Drakos