Bi-directional inference - Martins, João P.; MacKay, Donald P.; Shapiro, Stuart C. (State University of New York <Buffalo, NY> / Department of Computer Science: Technical report, 1981)