Formalization of two puzzles involving knowledge. In Formalizing Common Sense: Papers by (1990)

by J McCarthy