@article{Jenner-McKenzie-Therien/96,
AUTHOR = {Jenner, Birgit and McKenzie, Pierre and Th{\'e}rien, Denis},
TITLE = {Logspace and logtime leaf languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {129},
NUMBER = {1},
PAGES = {21-33},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Dam/96,
AUTHOR = {Dam, Mads},
TITLE = {Model checking mobile processes},
JOURNAL = {Inf.~Comput.},
VOLUME = {129},
NUMBER = {1},
PAGES = {35-51},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Zhang/96d,
AUTHOR = {Zhang, Mingyi},
TITLE = {A new research into default logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {129},
NUMBER = {2},
PAGES = {73-85},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ateniese-Blundo-Santis-Stinson/96a,
AUTHOR = {Ateniese, Giuseppe and Blundo, Carlo and Santis, Alfredo de and Stinson, Douglas R.},
TITLE = {Visual cryptography for general access structures},
JOURNAL = {Inf.~Comput.},
VOLUME = {129},
NUMBER = {2},
PAGES = {86-106},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Aceto-Ingolfsdottir/96,
AUTHOR = {Aceto, Luca and Ing{\'o}lfsd{\'o}ttir, Anna},
TITLE = {CPO models for compact GSOS languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {129},
NUMBER = {2},
PAGES = {107-141},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}