@inproceedings{b76df6f1275942a4a472bb93ae78efb4,
title = "Meta-Level Inference and Program Verification",
abstract = "In [Bundy and Sterling 81] we described how meta-level inference was useful for controlling search and deriving control information in the domain of algebra. Similar techniques are applicable to the verification of logic programs. A developing meta-language is described, and an explicit proof plan using this language is given. A program, IMPRESS, is outlined which executes this plan.",
author = "L. Sterling and Alan Bundy",
year = "1982",
doi = "10.1007/BFb0000056",
language = "English",
isbn = "978-3-540-11558-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "144--150",
booktitle = "6th Conference on Automated Deduction",
address = "United Kingdom",
}