CLAUSAL FORM LOGIC: AN INTRODUCTION TO THE LOGIC OF COMPUTER REASONING - RICHARDS,TOM (AW SYDNEY, 1989)
BR-965