TY  - GEN
DA  - 1977
LA  - eng
PY  - 1977
SN  - 0931-6558
TI  - Simple decision procedures: an expository paper
UR  - https://nbn-resolving.org/urn:nbn:de:0070-pub-29096902
Y2  - 2025-01-31T22:00:46
ER  -