@article{Kahramano_ullar__2008,
    doi = {10.1016/j.apal.2007.11.005},
    url = {https://doi.org/10.1016%2Fj.apal.2007.11.005},
    year = {2008},
    month = {mar},
    publisher = {Elsevier {BV}},
    volume = {152},
    number = {1-3},
    pages = {107--121},
    author = {Ozan Kahramano{\u{g}}ullar{\i}},
    title = {System {BV} is {NP}-complete},
    journal = {Annals of Pure and Applied Logic}
}

@article{Kahramano_ullar__2008, doi = {10.1016/j.apal.2007.11.005}, url = {https://doi.org/10.1016%2Fj.apal.2007.11.005}, year = {2008}, month = {mar}, publisher = {Elsevier {BV}}, volume = {152}, number = {1-3}, pages = {107--121}, author = {Ozan Kahramano{\u{g}}ullar{\i}}, title = {System {BV} is {NP}-complete}, journal = {Annals of Pure and Applied Logic} }