Active logics: A unified formal approach to episodic reasoning (1999)

by J Elgot-Drapkin, S Kraus, M Miller, M Nirkhe, D Perlis