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