ITP at Argonne National Laboratory (1986)

by E Lusk, W McCune, R Overbeek
Venue:Proceedings of the 8th International Conference on Automated Deduction, LNCS