@article {15938,
	title = {Automated inference in active logics},
	journal = {JOURNAL OF APPLIED NONCLASSICAL LOGICS},
	volume = {6},
	year = {1996},
	month = {1996///},
	pages = {9 - 28},
	author = {Miller,M. and Perlis, Don}
}
