@Article{
Lau&al:99,
Author = "K.-K. Lau and M. Ornaghi and S.-{\AA}. T{\"{a}}rnlund",
Title = "Steadfast Logic Programs",
Journal = "J. Logic Programming",
Volume = "38",
Number = "3",
Pages = "259-294",
Month = "March",
Year = "1999"         }