Action logic and pure induction (1990)

by V Pratt
Venue:Logics in AI: European Workshop JELIA ’90