@Article{	  dixnansub00,
  author	= {J\"{u}rgen Dix and Mirco Nanni and V.S.~Subrahmanian},
  title		= {Probabilistic {A}gent {P}rograms},
  journal	= {ACM Transactions of Computational Logic},
  year		= 2000,
  volume	= 1,
  number	= 2,
  pages		= {207--245},
  issn          =  {1529-3785}
}