%0 Journal Article %1 journals/jar/AuffrayEH90 %A Auffray, Yves %A Enjalbert, Patrice %A Hébrard, Jean-Jacques %D 1990 %J J. Autom. Reason. %K dblp %N 1 %P 1-38 %T Strategies for Modal Resolution: Results and Problems. %U http://dblp.uni-trier.de/db/journals/jar/jar6.html#AuffrayEH90 %V 6

@article{journals/jar/AuffrayEH90, added-at = {2020-09-02T00:00:00.000+0200}, author = {Auffray, Yves and Enjalbert, Patrice and Hébrard, Jean-Jacques}, biburl = {https://www.bibsonomy.org/bibtex/2b4672f8ba3734e898058abf7f81ce471/dblp}, ee = {https://doi.org/10.1007/BF00302639}, interhash = {802af09a2f164ac9b1c80171eaeedbf0}, intrahash = {b4672f8ba3734e898058abf7f81ce471}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 1, pages = {1-38}, timestamp = {2020-09-09T13:35:37.000+0200}, title = {Strategies for Modal Resolution: Results and Problems.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar6.html#AuffrayEH90}, volume = 6, year = 1990 }