@InProceedings{Schulte:WOZ:1995,
Author = "Christian Schulte",
Title = "Solver - An {Oz} Search Debugger",
Booktitle = "WOz'95, International Workshop on Oz Programming",
Year = 1995,
Month = nov,
Address = "Institut Dalle Molle d'Intelligence Artificielle Perceptive, Martigny, Switzerland",
URL = "https://chschulte.github.io/papers/schulte-woz-1995.html"
}