Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop

Michael Codish, Bart Demoen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish GB
Title of host publicationICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994
EditorsFrank S. de Boer, Maurizio Gabbrielli
StatePublished - 1994

Cite this