Lecture Notes in Computer Science 417 (1988)

by COLOG
Venue:La logique lin'eaire. Pour La Science