% My papers in bib format
		  
		  @Article{JLOGC::MomiglianoO1997,
  title =        "Regular Search Spaces and Constructive Negation",
  author =       "Alberto Momigliano and Mario Ornaghi",
  pages =        "367--403",
  journal =      "Journal of Logic and Computation",
  year =         "1997",
  month =        jun,
  volume =       "7",
  number =       "3",
  references =   "\cite{JLOGP::AptB1994} \cite{JLOGP::BarbutiMPT1990}
                 \cite{TCS::Bidoit1991} \cite{ACTAI::Drabent1995}
                 \cite{JLOGP::GabbayR1984} \cite{JLOGP::GabbayS1986}
                 \cite{JLOGP::Kunen1987} \cite{MFCS::LassezMM1991}
                 \cite{JLOGP::JaffarM1994}
                 \cite{JLOGP::MancarellaMP1988}
                 \cite{APAL::MillerNPS1991} \cite{LICS::Pfenning1991}
                 \cite{JLOGP::ReedL1992} \cite{JLOGP::Shepherdson1985}
                 \cite{TCS::Shepherdson1989}
		  \cite{LICS::Stuckey1991}",}
		  
		  @Article{JLOGC::MomiglianoO1997,
  title =        "Regular Search Spaces and Constructive Negation",
  author =       "Alberto Momigliano and Mario Ornaghi",
  pages =        "367--403",
  journal =      "Journal of Logic and Computation",
  year =         "1997",
  month =        jun,
  volume =       "7",
  number =       "3",
  references =   "\cite{JLOGP::AptB1994} \cite{JLOGP::BarbutiMPT1990}
                 \cite{TCS::Bidoit1991} \cite{ACTAI::Drabent1995}
                 \cite{JLOGP::GabbayR1984} \cite{JLOGP::GabbayS1986}
                 \cite{JLOGP::Kunen1987} \cite{MFCS::LassezMM1991}
                 \cite{JLOGP::JaffarM1994}
                 \cite{JLOGP::MancarellaMP1988}
                 \cite{APAL::MillerNPS1991} \cite{LICS::Pfenning1991}
                 \cite{JLOGP::ReedL1992} \cite{JLOGP::Shepherdson1985}
                 \cite{TCS::Shepherdson1989}
		  \cite{LICS::Stuckey1991}",}
		  
		  @Article{Momigliano:1994:RSS,
  author =       "A. Momigliano and M. Ornaghi",
  title =        "Regular Search Spaces as a Foundation of Logic
                 Programming",
  journal =      "Lecture Notes in Computer Science",
  volume =       "798",
  pages =        "222--254",
  year =         "1994",
  coden =        "LNCSD9",
  ISSN =         "0302-9743",
  bibdate =      "Wed Sep 15 10:01:31 MDT 1999",
  acknowledgement = ack-nhfb,
  keywords =     "logic programming; ELP",
}
		  @InProceedings{lncs620*326,
  author =       "A. Momigliano",
  title =        "Minimal Negation and Hereditary Harrop Formulae",
  pages =        "326--335",
  ISBN =         "3-540-55707-5",
  editor =       "Anil Nerode and Mikhail Taitslin",
  booktitle =    "Proceedings of Logical Foundations of Computer Science
                 (Tver '92)",
  month =        jul,
  series =       "LNCS",
  volume =       "620",
  publisher =    "Springer",
  address =      "Berlin, Germany",
  year =         "1992",}
		  
		  @Proceedings{Momigliano94,
 
  editor =       "A. Momigliano and M. Ornaghi",
  booktitle =    "Proof-Theoretical Extensions of Logic Programming",
  year =         "1994",
  month =        jun,
  address =      "Santa Margherita Ligure, Italy",
  pages =        "60--66",
  note =         "Post-Conference Workshop for ICLP '94",
}
		  
		  
@InProceedings{paltr.momig-1992:schedaircr:inbook:25,
  author =       "Massimo Paltrinieri and Alberto Momigliano and Franco
                 Torquati",
  title =        "Scheduling of an Aircraft Fleet",
  booktitle =    "Practical Approaches to Scheduling and Planning:
                 Papers from the 1992 Spring Symposium",
  year =         "1992",
  pages =        "25--29",
  address =      "Menlo Park, California",
  publisher =    "AAAI Press",
  ISBN =         "0-929280-32-6",
}