TY  - RPRT
TI  - [Combinatory problems in logic].
AU  - W Oberschelp
PY  - 1966
UR  - https://pubmed.ncbi.nlm.nih.gov/5986340/
ID  - 5986340
ER  -