wichita.edu
…R. Bagai. A Dataflow Language Compilation for a Demand-Driven Machine. In Proceedings of the 20th Latin-American Conference on Computer Science and Information Systems, Mexico City, Mexico, pp. 1109-1119, 1994. R. Bagai, V. Shanbhogue, J. M. Zytkow, and S.-C. Chou. Automatic Theorem Generation in Plane Geometry. Lecture Notes in Artificial Intelligence, …
https://www.wichita.edu/profiles/academics/engineering/SoC/01_Faculty/Bagai-Rajiv.php