@article{Hin01Pro,
  title = "{Prolog}'s Control Constructs in a Functional Setting --- {Axioms} and Implementation",
  author = "Hinze, Ralf",
  year = "2001",
  journal = "IJFCS",
  number = "2",
  pages = "125-170",
  volume = "12",
  doi = "10.1142/S0129054101000436",
}