The applicability of logic program analysis and transformation to theorem proving

DA De Waal, JP Gallagher

Research output: Working paperWorking paper and Preprints

Translated title of the contributionThe applicability of logic program analysis and transformation to theorem proving
Original languageEnglish
PublisherUniversity of Bristol
Number of pages20
Publication statusPublished - 1993

Bibliographical note

Other: CSTR-93-15

Cite this