The applicability of logic program analysis and transformation to theorem proving

Research output: Working paper

Translated title of the contribution	The applicability of logic program analysis and transformation to theorem proving
Original language	English
Publisher	University of Bristol
Number of pages	20
Publication status	Published - 1993

Other: CSTR-93-15

Handle.net

@techreport{185e2c5c2ec049119f44eb2bbcee5468,

title = "The applicability of logic program analysis and transformation to theorem proving",

author = "\{De Waal\}, DA and JP Gallagher",

note = "Other: CSTR-93-15",

year = "1993",

language = "English",

publisher = "University of Bristol",

address = "United Kingdom",

type = "WorkingPaper",

institution = "University of Bristol",

}