SLOM - predavanja odr~zana ak. god. 1996/97.

Modeli otvorene indukcije ~ ireducibilni elementi

Darko Biljakovi~t

Pravilo ekstenzije i ne-CNF propozicionalno zaklju~civanje

Gallo-Scutella hijerarhija propozicionalnih formul~a

Van Gelderova metoda za ne-CNF SAT-problem

Kazimir Majorinc

~Cvrste to~cke u rekurziji

Dean Rosenzweig