"A User Interface for Encoding Space Usage Rules Expressed in Natural Language."

Pavel Andreevich Samsonov, Johannes Schöning, Brent J. Hecht (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics