Search results for: Albert Heinle
Journal of Symbolic Computation > 2018 > 85 > C > 188-205
Journal of Automated Reasoning > 2017 > 58 > 3 > 313-339
Journal of Symbolic Computation > 2016 > 75 > C > 127-148
Journal of Symbolic Computation > 2018 > 85 > C > 188-205
Journal of Automated Reasoning > 2017 > 58 > 3 > 313-339
Journal of Symbolic Computation > 2016 > 75 > C > 127-148