@inproceedings{rosu-2006-goguen-festschrift, title = "Complete Categorical Deduction for Satisfaction as Injectivity", author = "Grigore Ro{\c s}u", editor = {Kokichi Futatsugi and Jean-Pierre Jouannaud and Jos{\'e} Meseguer}, booktitle = {Algebra, Meaning and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday}, publisher = "Springer", series = "Lecture Notes in Computer Science", volume = "4060", pages = "157--172", year = "2006"}