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

De Waal, DA., & Gallagher, JP. (1993). The applicability of logic program analysis and transformation to theorem proving. University of Bristol.