@article {IOPORT.05405682,
    author       = {0002, Amitabha Roy and Zeisset, Stephan and Fleckenstein, Charles J. and Huang, John C.},
    title        = {Fast and generalized polynomial time memory consistency verification.},
    year         = {2006},
    journal      = {Computing Research Repository (CoRR)},
    volume       = {2006},
    pages        = {Article No. 0605039},
    publisher    = {Association for Computing Machinery, New York, NY; Cornell University, Ithaka, NY},
    identifier   = {05405682},
}