Esther D. Shilcrat

Id Est, A Logic Based Framework for Direct Manipulation Systems

Esther D. Shilcrat, 1993, ILPS.

Logical sensor systems

Tom Henderson, Esther D. Shilcrat, Tom Henderson, 1984, J. Field Robotics.

Logic, algebra and static analysis in DM systems, the IE way (abstract)

Esther D. Shilcrat, 1994, ICLP 1994.