Topic D.1.6 - Logic Programming

	J.M. Almendros-Jiménez, A. Becerra-Terón, F.J. Enciso-Baños: Magic Sets for the XPath Language /jucs_12_11/magic_sets_for_the	page 1651 - 1678 Vol.12 / Issue 11
	J.M. Cleva, I. Pita: Verification of CRWL Programs with Rewriting Logic /jucs_12_11/verification_of_crwl_programs	page 1594 - 1617 Vol.12 / Issue 11
	M. Espák: Japlo: Rule-based Programming on Java /jucs_12_9/japlo_rule_based_programming	page 1177 - 1189 Vol.12 / Issue 9
	H. Fu, Y. Xu, S. Chen, J. Liu: Improving WalkSAT for Random 3-SAT Problems /jucs_26_2/improving_walksat_for_random	page 220 - 243 Vol.26 / Issue 2
	P. Julián, G. Moreno, J. Penabad: Operational/Interpretive Unfolding of Multi-adjoint Logic Programs /jucs_12_11/operational_interpretive_unfolding_of	page 1679 - 1699 Vol.12 / Issue 11
	L. Museros, M.T. Escrig: Modeling Motion by the Integration of Topology and Time /jucs_9_9/modeling_motion_by_the	page 1096 - 1122 Vol.9 / Issue 9
	E. Oliva, A. Natali, A. Ricci, M. Viroli: An Adaptation Logic Framework for Java-based Component Systems /jucs_14_13/an_adaptation_logic_framework	page 2158 - 2181 Vol.14 / Issue 13
	F. Ramalho, J. Robin, R. Barros: XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models /jucs_9_8/xocl_an_xml_language	page 956 - 969 Vol.9 / Issue 8
	J. Robin, J. Vitorino, A. Wolf: Constraint Programming Architectures: Review and a New Proposal /jucs_13_6/constraint_programming_architectures_review	page 701 - 720 Vol.13 / Issue 6
	J. Sánchez-Hernández: Constructive Failure in Functional-Logic Programming: From Theory to Implementation /jucs_12_11/constructive_failure_in_functional	page 1574 - 1593 Vol.12 / Issue 11
	L. de Freitas, M. Caraciolo, M. Cornélio: Logic Programming for Verification of Object-Oriented Programming Law Conditions /jucs_13_6/logic_programming_for_verification	page 721 - 736 Vol.13 / Issue 6