%0 Journal Article %1 journals/amai/Dixon98 %A Dixon, Clare %D 1998 %J Ann. Math. Artif. Intell. %K dblp %N 1-2 %P 87-115 %T Temporal Resolution Using a Breadth-First Search Algorithm. %U http://dblp.uni-trier.de/db/journals/amai/amai22.html#Dixon98 %V 22

@article{journals/amai/Dixon98, added-at = {2011-05-18T00:00:00.000+0200}, author = {Dixon, Clare}, biburl = {https://www.bibsonomy.org/bibtex/2d71ddd572aec42871c2822506b4363f8/dblp}, ee = {http://dx.doi.org/10.1023/A:1018942108420}, interhash = {1849293b4adf14da79d2ac6528a5c2b1}, intrahash = {d71ddd572aec42871c2822506b4363f8}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {1-2}, pages = {87-115}, timestamp = {2011-05-19T11:37:09.000+0200}, title = {Temporal Resolution Using a Breadth-First Search Algorithm.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai22.html#Dixon98}, volume = 22, year = 1998 }