Logic + Control revisited: an interpreter for Godel programs (1994)

Cached

Download Links

by Egon Börger , Elvinia Riccobene
Venue:Advances in Logic Programming Theory