I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra.
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.