Hivatkozók

• Clark normál forma
• egységklóz
• egységterjesztés
• elsőrendű határozott klóz

Mesterséges Intelligencia

• 7.4. Az ítéletkalkulus következtetési mintái
• 9.3. Előrefelé láncolás