No. 186 (1984): PB-186 Logic Programming, Substitutions, and Finite Computability

Published: 1985-01-01

Articles