%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Marco Benedetti at 2006-10-19 23:05:46 +0200 


%% Saved with string encoding Western (ASCII) 



@inproceedings{Ben06,
	Author = {M. Benedetti},
	Booktitle = {Proc. of 21st National Conference on Artificial Intelligence (AAAI06)},
	Date-Modified = {2006-10-19 23:05:46 +0200},
	Title = {{Abstract Branching for Quantified Formulas}},
	Year = {2006}}