@article{Hfner_Mller_16, author = {H\"ofner, Peter and M\"oller, Bernhard}, doi = {10.1016/j.jlamp.2015.12.002}, journal = {Journal of Logical and Algebraic Methods in Programming}, month = jun, number = {5}, pages = {952--971}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8839.pdf}, title = {Extended Feature Algebra}, volume = {85}, year = {2016} }