Adnan Darwiche Mark Hopkins Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees. 180-191 2001 conf/ecsqaru/2001 ECSQARU http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2143&spage=0180 db/conf/ecsqaru/ecsqaru2001.html#DarwicheH01