PT Journal
AU Böhm, C
   Tronci, E
TI About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus
SO Inf. Comput.
PY 1991
BP 1
EP 32
VL 90
IS 1
DI 10.1016/0890-5401(91)90057-9
ER