Gruner, Stefan2014-02-032014-02-0320022003Stefan Gruner: Abstract Partial Deduction Challenged. LNCS 2664, pp. 258-259, 2003.0302-9743http://hdl.handle.net/2263/33233I am making my old short-paper from 2002/2003 available again here in "UPSpace" mainly because of historic interests.Experiments have been conducted in order to determine to what extent Abstract Partial Deduction can infer implicit safety properties of the well-known Bakery Protocol.1 p.PDFenSpringer-Verlag holds the copyright of the published paper as it is shown here in "UPSpace". A pre-pubished pre-print or draft-paper does no longer exist (has been lost) since then.Logic ProgrammingAbstract InterpretationSymbolic InterpretationAbstract Partial DeductionRegular Unary LogicPostprint Article