{"type":"ScholarlyArticle","title":"Theorem Proving by Covering Expressions","authors":[{"name":"Lawrence J. Henschen","slug":"lawrence-j-henschen","given":"Lawrence J.","family":"Henschen","affiliation":""},{"name":"W. M. Evangelist","slug":"w-m-evangelist","given":"W. M.","family":"Evangelist","affiliation":""}],"abstract":"","doi":null,"url":"https://ijcai.org/proceedings/1977/123","pdf":"https://ijcai.org/proceedings/1977/0123.pdf","markdown":"https://ijcai.org/proceedings/1977/123.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/123","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theorem Proving","track":"Theorem Proving","number":123,"pages":{"first":541,"last":541},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}