The Nurprl Proof Development System. Working paper 214, Dept (1988)

by C Horn
Venue:of Artificial Intelligence