TY  - RPRT
TI  - A technique for solving constraint satisfaction problems using Prolog's definite clause grammars
AU  - Nachtsheim, Philip R.
PY  - 1988
UR  - https://ntrs.nasa.gov/citations/19890004603
ID  - 19890004603
ER  -