A note on proof procedures for nonmonotonic reasoning systems - Helft, Nicolas; Inoue, Katsumi (1989)