@workingPaper{BauerPaul_1993, title={Logic-based plan recognition for intelligent help systems}, author={Bauer, Mathias and Paul, Gabriele}, doi={http://dx.doi.org/10.22028/D291-24927}, year={1993} }