You are about to access our book library "Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings (Lecture Notes in Computer Science, 543) full version" .