Marcel Oliveira, Ana Cavalcanti, Jim Woodcock. Unifying theories in ProofPower-Z. Formal Asp. Comput., 25(1):133-158, 2013. [doi]
@article{OliveiraCW13, title = {Unifying theories in ProofPower-Z}, author = {Marcel Oliveira and Ana Cavalcanti and Jim Woodcock}, year = {2013}, doi = {10.1007/s00165-007-0044-5}, url = {http://dx.doi.org/10.1007/s00165-007-0044-5}, researchr = {https://researchr.org/publication/OliveiraCW13}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {25}, number = {1}, pages = {133-158}, }