Action logic and pure induction (1990)

by V Pratt
Venue:In Proceedings of Logics in AI: European Workshop JELIA '90, J.van Eijck, Ed. Lecture Notes in Computer Science