@workingPaper{NebelBäckström_1991,
title={On the computational complexity of temporal projection and some related problems},
author={Nebel, Bernhard and Bäckström, Christer},
doi={http://dx.doi.org/10.22028/D291-24829},
year={1991}
}