@inproceedings{bf1ba9d4868145db8f76f3232a5bcef7,
title = "Negation with logical variables in conditional rewriting",
abstract = "We give a general formalism for conditional rewriting, with systems containing conditional rules whose antecedents contain literals to be shown satisfiable and/or unsatisfiable. We explore semantic issues, addressing when the associated operational rewriting mechanism is sound and complete. We then give restrictions on the formalism which enable us to construct useful and meaningful specifications using the proposed operational mechanism.",
author = "Mohan, {Chilukuri K.} and Srivas, {Mandayam K.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1989.; 3rd International Conference on Rewriting Techniques and Applications, RTA 1989 ; Conference date: 03-04-1989 Through 05-04-1989",
year = "1989",
doi = "10.1007/3-540-51081-8_115",
language = "English (US)",
isbn = "9783540510819",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "292--310",
editor = "Nachum Dershowitz",
booktitle = "Rewriting Techniques and Applications - 3rd International Conference, RTA 1989",
}