@article {DJ:tabl2,
	title = {Shortcuts and Dynamic Marking in the Tableau Method for Adaptive logics},
	journal = {Studia Logica},
	volume = {69},
	year = {2001},
	pages = {221{\textendash}248},
	abstract = {<p>Adaptive logics typically pertain to reasoning procedures for which there is no positive test. In \cite{DJ:tabl1}, we presented a tableau method for two inconsistency-adaptive logics. In the present paper, we first describe these methods (without repeating the meta-theoretic proofs). Next, we present several ways to increase the efficiency of the methods. This culminates in a dynamic marking procedure that indicates which branches have to be extended first, and thus guides one towards a decision{\textendash}-the conclusion follows or does not follow{\textendash}-in a very economical way.</p>},
	author = {Batens, Diderik and Meheus, Joke}
}
