From systems to logic in the early development of nonmonotonic reasoning
scientific article; zbMATH DE number 5909448