@inproceedings{Magnusson07,
author = {M. Magnusson and P. Doherty}, 
title = {Deductive planning with temporal constraints},
booktitle =  {In Proceedings of the 8th International Symposium on Logical Formalizations of Commonsense Reasoning}, 
year = {2007},
}