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  - 2026-03-24T12:54:51
ER  -