@article{
    hajn:96a,
    author = "Hajnicz, Elżbieta",
    title = "Applying {A}llen's Constraint Propagation Algorithm for Non-Linear Time",
    url = "http://link.springer.com/article/10.1007%2FBF00173698",
    journal = "Journal of Logic, Language and Information",
    number = "2",
    volume = "5",
    year = "1996",
    bibsource = "DBLP, http://dblp.uni-trier.de",
    pages = "157--175"
}