@inproceedings{SEKE-2001-RamirezA,
	author        = "Jaime Ramírez and Angélica de Antonio",
	booktitle     = "{Proceedings of the 13th International Conference on Software Engineering and Knowledge Engineering}",
	pages         = "188--195",
	title         = "{Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships}",
	year          = 2001,
}