I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra.
Kowalski, Robert A. and
Kuehner, Donald. 1971.
“Linear Resolution with Selection Function.” Artificial Intelligence 2(3–4): 227–260.