Kazuhisa MAKINO, Suguru TAMAKI and Masaki YAMAMOTO, On the Boolean Connectivity Problem for Horn Relations, 17pp., April 2007.