et al., “Deductive Composition of Astronomical Software from Subroutine Libraries (1994)

by M Stickel
Venue:Conf. Automated Deduction