@article{Parker/06,
AUTHOR = {Parker, Matthew W.},
TITLE = {Three concepts of decidability for general subsets of uncountable spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {1},
PAGES = {2-13},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {computable analysis, recursive sets, recursively approximable sets, undecidability},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN99S-3/2/ad02d34c59791de20777ed53b8c550af},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ziegler/06a,
AUTHOR = {Ziegler, Martin},
TITLE = {Stability versus speed in a computable algebraic model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {1},
PAGES = {14-26},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {speed, stability, point location, models of computation, recursive analysis, linear decision tree},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN79X-4/2/3bab25b199b5085f827aab736eb64e68},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Zheng-Lu-Bao/06,
AUTHOR = {Zheng, Xizhong and Lu, Dianchen and Bao, Kejin},
TITLE = {Divergence bounded computable real numbers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {1},
PAGES = {27-38},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {computability of reals, divergence bounded computability, weakly computable real, semi-computable real},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN79X-7/2/d093cfce7f3cace24523c69cac9b6e04},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ciaffaglione-Di_Gianantonio/06,
AUTHOR = {Ciaffaglione, Alberto and Di Gianantonio, Pietro},
TITLE = {A certified, corecursive implementation of exact real numbers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {1},
PAGES = {39-51},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {exact computation, streams of digits, lazy functional algorithms, coinductive type theories, interactive theorem proving, program and system verification, logical frameworks, coq},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN79X-2/2/f3adf7d22f328d616fad84fa9b2bba7d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{van_der_Hoeven/06b,
AUTHOR = {van der Hoeven, Joris},
TITLE = {Computations with effective real numbers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {1},
PAGES = {52-60},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {effective real number, algorithm, interval analysis, error estimates},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN79X-5/2/5adeee554e25a32ddecf5b8d5a02a470},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hughes-Niqui/06,
AUTHOR = {Hughes, Jesse and Niqui, Milad},
TITLE = {Admissible digit sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {1},
PAGES = {61-73},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {exact real arithmetic, admissible representation, stern-brocot representation},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN79X-8/2/df5d7430e2c38fdcbcbdadb63fba1e39},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Briggs/06,
AUTHOR = {Briggs, Keith},
TITLE = {Implementing exact real arithmetic in python, C++ and C},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {1},
PAGES = {74-81},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {exact real arithmetic},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN99S-4/2/6eeb28c2320aeaebd179fdef1b1b7aa1},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hill-Robinson/06,
AUTHOR = {Hill, M. and Robinson, I.},
TITLE = {Quadrature using 64-bit IEEE arithmetic for integrands over [0,1] with a singularity at 1},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {1},
PAGES = {82-100},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {automatic quadrature, periodising transformations, 64-bit ieee arithmetic, extrapolation},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HD88PK-1/2/2cbab2bada8a340df144fb4ad2aed0a5},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kornerup-Muller/06,
AUTHOR = {Kornerup, Peter and Muller, Jean-Michel},
TITLE = {Choosing starting values for certain Newton-Raphson iterations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {1},
PAGES = {101-110},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {computer arithmetic, newton-raphson iteration, division, square-root, square-root reciprocal, root extraction},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN79X-3/2/e5eeaa7e98b3e668aed7c7665905c090},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bronnimann-Melquiond-Pion/06,
AUTHOR = {Br{\"o}nnimann, Herv{\'e} and Melquiond, Guillaume and Pion, Sylvain},
TITLE = {The design of the Boost interval arithmetic library},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {1},
PAGES = {111-118},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {interval arithmetic, software library, generic programming, policy-based design, robust computations, floating-point filter},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN79X-6/2/7f6fe80239d14ba0f37986853dae5dc2},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Delanoue-Jaulin-Cottenceau/06,
AUTHOR = {Delanoue, Nicolas and Jaulin, Luc and Cottenceau, Bertrand},
TITLE = {Using interval arithmetic to prove that a set is path-connected},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {1},
PAGES = {119-128},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {interval arithmetic, graph theory, connected set, topology, set computation, automatic proof},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN79X-9/2/a5ca542a14f85c75420c4f0d58cd43b6},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Garavel-Serwe/06,
AUTHOR = {Garavel, Hubert and Serwe, Wendelin},
TITLE = {State space reduction for process algebra specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {2},
PAGES = {131-145},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {cadp, caesar, compositional verification, data-flow analysis, formal specification, labeled transition system, lotos, model checking, process algebra},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN79X-B/2/676351597020ee84af834e9da9989963},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hill-Vickers/06,
AUTHOR = {Hill, Gillian and Vickers, Steven},
TITLE = {A language for configuring multi-level specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {2},
PAGES = {146-166},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {formal languages, formal semantics, software engineering, configuration, specification languages},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HPD2TK-1/2/2dc6fd38a556d99fc5f43b094b1b1110},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Imine-Rusinowitch-Oster-Molli/06,
AUTHOR = {Imine, Abdessamad and Rusinowitch, Micha{\"e}l and Oster, G{\'e}rald and Molli, Pascal},
TITLE = {Formal design and verification of operational transformation algorithms for copies convergence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {2},
PAGES = {167-183},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {distributed groupware systems, replication, operational transformation, algebraic specification, automated verification},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDP8S5-1/2/dcf8637832d3cf432028d7872734922a},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Knapp-Merz-Wirsing-Zappe/06,
AUTHOR = {Knapp, Alexander and Merz, Stephan and Wirsing, Martin and Zappe, J{\'u}lia},
TITLE = {Specification and refinement of mobile systems in MTLA and mobile UML},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {2},
PAGES = {184-202},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {mobile systems, temporal logic, spatial logic, specification, verification, refinement, uml, system development},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN79X-F/2/d5caa67764364adadd9b5ad444e657f3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kuster-Filipe/06,
AUTHOR = {K{\"u}ster-Filipe, Juliana},
TITLE = {Modelling concurrent interactions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {2},
PAGES = {203-220},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {labelled event structures, distributed temporal logic, semantics, sequence diagrams, uml 2.0},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN79X-G/2/b8da23cf9e06906685b354bb7c0028d2},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Moller-Struth/06,
AUTHOR = {M{\"o}ller, Bernhard and Struth, Georg},
TITLE = {Algebras of modal operators and partial correctness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {2},
PAGES = {221-239},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {semirings, kleene algebra, modal operators, partial correctness, hoare logic},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN79X-H/2/9cae298fb42e0334bd46dd31dadd0c4e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{van_Riemsdijk-Meyer-de_Boer/06,
AUTHOR = {van Riemsdijk, M. Birna and Meyer, John-Jules Ch. and de Boer, Frank S.},
TITLE = {Semantics of plan revision in intelligent agents},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {2},
PAGES = {240-257},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {agent programming language, structural operational semantics, denotational semantics},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HCN79X-C/2/b6e4b7a4b757605956c481c6a81e2959},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Sims/06,
AUTHOR = {Sims, {\'E}lodie-Jane},
TITLE = {Extending separation logic with fixpoints and postponed substitution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {2},
PAGES = {258-275},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {separation logic, fixpoint, wlp, sp, abstract interpretation},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HD88PK-2/2/b554cab24bebf4d9d4cecfdd9680e262},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Meng-Barbosa/06,
AUTHOR = {Meng, Sun and Barbosa, Luis S.},
TITLE = {Components as coalgebras: The refinement dimension},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {2},
PAGES = {276-294},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {software components, refinement, coalgebra},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HD88PK-3/2/5065c83095c5e81fe53407e91d4caaaf},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bryant-Lagergren/06,
AUTHOR = {Bryant, David and Lagergren, Jens},
TITLE = {Compatibility of unrooted phylogenetic trees is FPT},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {3},
PAGES = {296-302},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HHX2C4-1/2/b19065763d9448fe5242876dc270acfd},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Buss-Islam/06,
AUTHOR = {Buss, Jonathan F. and Islam, Tarique},
TITLE = {Simplifying the weft hierarchy},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {3},
PAGES = {303-313},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {fixed-parameter complexity, w-hierarchy, weft},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDGKH3-3/2/bd422ad6022a06c57e7bb5da601a125c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Chen-Flum/06,
AUTHOR = {Chen, Yijia and Flum, J{\"o}rg},
TITLE = {On miniaturized problems in parameterized complexity theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {3},
PAGES = {314-336},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {parameterized complexity, subexponential algorithms, fagin-definability},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDP8S5-3/2/1394fd5c2129ba1abcd5a20f853f25b4},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Damaschke/06c,
AUTHOR = {Damaschke, Peter},
TITLE = {Parameterized enumeration, transversals, and imperfect phylogeny reconstruction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {3},
PAGES = {337-350},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {parameterized complexity, enumeration, vertex cover, transversal, perfect phylogeny},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDGKH3-2/2/eecc3850bd56056e09faa28db9173436},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Fellows-Szeider-Wrightson/06,
AUTHOR = {Fellows, Michael R. and Szeider, Stefan and Wrightson, Graham},
TITLE = {On finding short resolution refutations and small unsatisfiable subsets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {3},
PAGES = {351-359},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {resolution complexity, parameterized complexity, w[1]-completeness, bounded local treewidth, planar formulas},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDP8S5-2/2/6b017a4475eb073df2f3f11d1d17af86},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Haas-Hoffmann/06,
AUTHOR = {Haas, Robert and Hoffmann, Michael},
TITLE = {Chordless paths through three vertices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {3},
PAGES = {360-371},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {graph theory, induced path, parameterized complexity},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HG65MG-1/2/9cce9b82f98a5718f3ced016146603d0},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hliney-Seese/06,
AUTHOR = {Hlin{\v{e}}{\'y}, Petr and Seese, Detlef},
TITLE = {Trees, grids, and MSO decidability: From graphs to matroids},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {3},
PAGES = {372-393},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {graph, matroid, branch-width, tree-width, clique-width, grids, spikes, mso logic, decidability, interpretability},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDP8S5-4/2/1ca746c2807942505b2741eddb3ad1c7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Marx/06b,
AUTHOR = {Marx, D{\'a}niel},
TITLE = {Parameterized graph separation problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {3},
PAGES = {394-406},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {parameterized complexity, separator, multicut, multiway cut},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDGKH3-4/2/fed86713ff376097d34a3504f62d437f},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Marx/06c,
AUTHOR = {Marx, D{\'a}niel},
TITLE = {Parameterized coloring problems on chordal graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {3},
PAGES = {407-424},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {coloring, precoloring extension, parameterized complexity, chordal graphs, interval graphs},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDGKH3-6/2/40afa8a21052245c8be20c3dcc8522e4},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Muller-Hannemann-Weihe/06,
AUTHOR = {M{\"u}ller-Hannemann, Matthias and Weihe, Karsten},
TITLE = {Moving policies in cyclic assembly line scheduling},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {3},
PAGES = {425-436},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {assembly line balancing, printed circuit boards, fast component mounters, cycle-time minimization, fixed-parameter analysis},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HHGF11-1/2/c14f9ea977661c74ad9f025cc9ba3264},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Prieto-Sloper/06,
AUTHOR = {Prieto, Elena and Sloper, Christian},
TITLE = {Looking at the stars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {3},
PAGES = {437-445},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {fixed parameter algorithms, crown reduction},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDP8S5-5/2/4cbbbf6c84dd50cf2213fb935e9c300e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Raman-Saurabh/06a,
AUTHOR = {Raman, Venkatesh and Saurabh, Saket},
TITLE = {Parameterized algorithms for feedback set problems and their duals in tournaments},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {351},
NUMBER = {3},
PAGES = {446-458},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {tournaments, feedback vertex set, feedback arc set, parameterized complexity},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDGKH3-5/2/c1fbffb20e9d317a07a63f1eb7dab9e7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}