%0 Thesis %1 blasius1986equality %A Bläsius, Karl Hans %D 1986 %K %T Equality reasoning based on graphs

@phdthesis{blasius1986equality, added-at = {2023-12-12T20:27:58.000+0100}, author = {Bläsius, Karl Hans}, biburl = {https://www.bibsonomy.org/bibtex/25c3333eb74db195e76724687b0b600ab/admin}, dnbtitleid = {870791168}, interhash = {2f9495314902c092a31821c787e32193}, intrahash = {5c3333eb74db195e76724687b0b600ab}, keywords = {}, school = {Uni Kaiserslautern}, timestamp = {2023-12-12T20:27:58.000+0100}, title = {Equality reasoning based on graphs}, year = 1986 }