Reference:
Jan Friso Groote and Misa Keinänen. Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. Technical Report SEN-R0310, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Amsterdam, Netherlands, December 2003.
Suggested BibTeX entry:
@techreport{gro:kei,
address = {Amsterdam, Netherlands},
author = {Jan Friso Groote and Misa Kein{\"a}nen},
institution = {Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam},
month = {December},
number = {SEN-R0310},
title = {Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points},
type = {Technical Report},
year = {2003},
}
|