I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra.
Minicozzi, Eliana and
Reiter, Raymond. 1972.
“A Note on Linear Resolution Strategies in Consequence-Finding.” Artificial Intelligence 3(1–3): 175–180.