@INPROCEEDINGS{HanusPeemoellerReck12ATPS,
author       = {Hanus, M. and Peem{\"o}ller, B. and Reck, F.},
title        = {Search Strategies for Functional Logic Programming},
year         = {2012},
booktitle    = {Proc. of the 5th Working Conference on Programming Languages (ATPS'12)},
pages        = {61-74},
publisher    = {Springer LNI 199},
abstract     = {
In this paper we discuss our practical experiences
with the use of different search strategies
in functional logic programs.
In particular, we show that complete strategies,
like breadth-first search or iterative deepening search,
are a viable alternative to incomplete strategies, like depth-first
search, that have been favored in the past for logic programming languages.
}
}