Practical usage of freeencal: An automated forward reasoning engine for general-purpose.

Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng

Browse the full ICMLC paper archive.