YES
Time: 0.000441
TRS:
 {      g a() -> g b(),
          b() -> f(a(), a()),
  f(a(), a()) -> g d()}
 DP:
  DP:
   {      g# a() -> g# b(),
          g# a() -> b#(),
            b#() -> f#(a(), a()),
    f#(a(), a()) -> g# d()}
  TRS:
  {      g a() -> g b(),
           b() -> f(a(), a()),
   f(a(), a()) -> g d()}
  EDG:
   {(b#() -> f#(a(), a()), f#(a(), a()) -> g# d())
    (g# a() -> b#(), b#() -> f#(a(), a()))}
   SCCS (0):
    
    Qed