Cookies help us deliver our services. By using our services, you agree to our use of cookies.
Joslin, David and
Roach, John. 1989.
“A Theoretical Analysis of Conjunctive-Goal Problems.” Artificial Intelligence 41(1): 97–106.
Siklóssy, L. and
Roach, John. 1975.
“Model Verification and Improvement Using DISPROVER.” Artificial Intelligence 6(1): 41–52.