@article {15985,
	title = {Thinking takes time: a modal active-logic for reasoning in time},
	journal = {Proc. of BISFAI-95},
	year = {1995},
	month = {1995///},
	author = {Nirkhe,M. and Kraus,S. and Perlis, Don}
}
