Retractions in Comparing Prolog Semantics (Extended Abstract).

Arie de Bruin, Erik P. de Vink

Browse the full MFCS paper archive.