System Description: Proof Planning in Higher-Order Logic with (1998)

by Julian Richardson , Alan Smaill , Ian Green
Venue:15th International Conference on Automated Deduction, volume 1421 of Lecture Notes in Artificial Intelligence
Citations:58 - 8 self