Nr. 126 (1980): PB-126 The Meaning of Logical Programs

Publiceret: 1980-09-01