%0 Journal Article %1 journals/fuin/HsiangW96 %A Hsiang, Jieh %A Wasilewska, Anita %D 1996 %J Fundam. Informaticae %K dblp %N 1-2 %P 129-140 %T Automating Algebraic Proofs in Algebraic Logic. %U http://dblp.uni-trier.de/db/journals/fuin/fuin28.html#HsiangW96 %V 28

@article{journals/fuin/HsiangW96, added-at = {2020-09-18T00:00:00.000+0200}, author = {Hsiang, Jieh and Wasilewska, Anita}, biburl = {https://www.bibsonomy.org/bibtex/2b6cceb63f4966d26269470afbe1f7458/dblp}, ee = {https://doi.org/10.3233/FI-1996-281208}, interhash = {18b2e70f5fcf6fed269cb6cf86038d8a}, intrahash = {b6cceb63f4966d26269470afbe1f7458}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-2}, pages = {129-140}, timestamp = {2020-09-19T11:35:34.000+0200}, title = {Automating Algebraic Proofs in Algebraic Logic.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin28.html#HsiangW96}, volume = 28, year = 1996 }