An Introduction To Default Logic
Publisher: Springer
Published: 1989
ISBN-13: 9783540515661