@inproceedings{e9708871057d4a8da9d9aab9f41d318e,
title = "On the Meaning of {"}but",
abstract = "In this paper, a formalization of exceptions to a general rule is proposed. It builds upon the modularisation of theories proposed by the algebraic specification approach, and preserves its engineering principles: modularity and com- positionality. It relies on a model-theoretic definition of the {"}but{"} conjunctive, whose properties and implementations are explored.",
author = "Schobbens, {Pierre Yves}",
year = "1991",
month = oct,
day = "25",
language = "English",
isbn = "0818623209",
series = "IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design",
publisher = "ACM Press",
pages = "185--192",
booktitle = "IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design",
address = "United States",
note = "6th International Workshop on Software Specification and Design, IWSSD 1991 ; Conference date: 25-10-1991",
}