Editorial.

Michael Gelfond
Published in: J. Log. Comput. (1992)
Keyphrases