Stickel, Mark and Waldinger, Richard and Lowry, Michael and Pressburger, Thomas and Underwood, Ian. The deductive composition of astronomical softwared from subroutine libraries, in Twelfth International Conference on Automated Deduction (CADE), Nancy, France, pp. 341-355, Jun 1994.
Share this
