%0 Journal Article %1 journals/jsc/Paul85 %A Paul, Etienne %D 1985 %J J. Symb. Comput. %K dblp %N 1 %P 7-29 %T Equational Methods in First Order Predicate Calculus. %U http://dblp.uni-trier.de/db/journals/jsc/jsc1.html#Paul85 %V 1

@article{journals/jsc/Paul85, added-at = {2021-02-17T00:00:00.000+0100}, author = {Paul, Etienne}, biburl = {https://www.bibsonomy.org/bibtex/2eca32a55e5ca234acbffff9eb9dd9a05/dblp}, ee = {https://doi.org/10.1016/S0747-7171(85)80026-2}, interhash = {a429b6dd4a796196c3684fdd740e8879}, intrahash = {eca32a55e5ca234acbffff9eb9dd9a05}, journal = {J. Symb. Comput.}, keywords = {dblp}, number = 1, pages = {7-29}, timestamp = {2024-04-09T05:32:30.000+0200}, title = {Equational Methods in First Order Predicate Calculus.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc1.html#Paul85}, volume = 1, year = 1985 }