Schwager, M. Exhaustive Imperatives. Proceedings of the AC 2005, 233-238.