@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"}