Araghi, Amir (2006) Infrastructure for web services that perform automated reasoning. In: Proceedings of Computing and Engineering Annual Researchers' Conference 2006: CEARC’06. University of Huddersfield, Huddersfield, pp. 1-6.
