@article{Andersen_1994,
    doi = {10.1016/0304-3975(94)90266-6},
    url = {https://doi.org/10.1016%2F0304-3975%2894%2990266-6},
    year = {1994},
    month = {apr},
    publisher = {Elsevier {BV}},
    volume = {126},
    number = {1},
    pages = {3--30},
    author = {Henrik Reif Andersen},
    title = {Model checking and boolean graphs},
    journal = {Theoretical Computer Science}
}

@article{Andersen_1994, doi = {10.1016/0304-3975(94)90266-6}, url = {https://doi.org/10.1016%2F0304-3975%2894%2990266-6}, year = {1994}, month = {apr}, publisher = {Elsevier {BV}}, volume = {126}, number = {1}, pages = {3--30}, author = {Henrik Reif Andersen}, title = {Model checking and boolean graphs}, journal = {Theoretical Computer Science} }